6 (E-)LOTOS: (Enhanced) Language Of Temporal Ordering Specification
نویسندگان
چکیده
approach that simply requires unique numbers, whether generated by the user or the system (or both, in cooperation).
منابع مشابه
Specifying Hardware Timing Characteristics with ET-LOTOS
It is explained how DILL (Digital Logic in LOTOS) can be used to specify and analyse hardware timing characteristics using ET-LOTOS (Enhanced Timed LOTOS), a timed extension of the ISO standard formal language LOTOS (Language of Temporal Ordering Specification). Hardware component functionality and timing characteristics are rigorously specified and then validated. As will be seen, subtle timin...
متن کاملThe Invoicing Case Study in (E-)LOTOS
The informal requirements for the invoicing case study are analysed and interpreted. This leads to a high-level specification architecture that can be formalised. Specifications are presented in LOTOS (Language Of Temporal Ordering Specification). For comparison, specifications are also presented E-LOTOS (Enhancements to LOTOS) – the new version of LOTOS currently being standardised. Since LOTO...
متن کاملThe LOTOS Specification of the Enhanced Transport Service
This paper introduces the LOTOS specification of the OSI95 Enhanced Transport Service. It discusses the problems encountered during its writing, such as the ones caused by its validation, or by the lack of a 'Timed' LOTOS. But the interest is not only in the specification itself. It also lies in the way this specification was developed: not after, but in parallel with the design of the Service ...
متن کاملFormalising the Chisel Feature Notation
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic Specification) is an enhanced version of CHISEL with tightly defined rules for the syntax and static semantics of diagrams. More importantly, CRESS has formal denotations given by SDL (Specification and Description Lang...
متن کاملSpecification and Validation of Telephone Systems in LOTOS1,2
LOTOS (Language of Temporal Ordering Specification) is a Formal Description Technique that was developed by the ISO for the specification of OSI services and protocols. In this paper we present a design methodology for the description in LOTOS of telephone systems with modern telephone features. The description of a Sample Telephone System is formalized. The LOTOS specification was extensively ...
متن کامل